Helmut Schwichtenberg (eds.)：在 Z-Library 上搜索

募捐 9月15日2024 – 10月1日2024 关于筹款

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

书籍 (12)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

Logic and Algebra of Specification

Logic and Algebra of Specification

Springer-Verlag Berlin Heidelberg

Wilfried Brauer (auth.), Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg (eds.)

年:

1993

语言:

english

文件:

DJVU, 4.03 MB

0 / 0

english, 1993

2

Computational Logic

Computational Logic

Ulrich Berger, Helmut Schwichtenberg (eds.)

年:

1999

语言:

english

文件:

PDF, 13.23 MB

0 / 0

english, 1999

3

Computational Logic

Computational Logic

Ulrich Berger, Helmut Schwichtenberg (eds.)

年:

1999

语言:

english

文件:

DJVU, 4.02 MB

0 / 0

english, 1999

4

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

年:

2001

语言:

english

文件:

PDF, 2.52 MB

0 / 0

english, 2001

5

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)

年:

1997

语言:

english

文件:

PDF, 12.55 MB

0 / 0

english, 1997

6

Logic and Algebra of Specification

Logic and Algebra of Specification

Springer-Verlag Berlin Heidelberg

Wilfried Brauer (auth.), Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg (eds.)

年:

1993

语言:

english

文件:

PDF, 15.90 MB

0 / 0

english, 1993

7

Proof and System-Reliability

Proof and System-Reliability

Springer Netherlands

G. Hamrin, V. Stoltenberg-Hansen (auth.), Helmut Schwichtenberg, Ralf Steinbrüggen (eds.)

年:

2002

语言:

english

文件:

PDF, 12.35 MB

0 / 0

english, 2002

8

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

年:

2001

语言:

english

文件:

PDF, 1.73 MB

0 / 0

english, 2001

9

Proof and Computation

Proof and Computation

Springer-Verlag Berlin Heidelberg

Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)

年:

1995

语言:

english

文件:

PDF, 33.16 MB

0 / 0

english, 1995

10

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)

年:

2000

语言:

english

文件:

PDF, 3.26 MB

0 / 0

english, 2000

11

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)

年:

1997

语言:

english

文件:

DJVU, 3.21 MB

0 / 0

english, 1997

12

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)

年:

2000

语言:

english

文件:

PDF, 5.77 MB

0 / 0

english, 2000